On Central Extensions and Definably Compact Groups in O-minimal Structures
نویسنده
چکیده
We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields such as (i) G is definably an almost direct product of a semisimple group and a commutative group, (ii) (G, ·) is elementarily equivalent to (G/G, ·). We also prove results on the internality of finite covers of G in an o-minimal environment, as well as deducing the full compact domination conjecture for definably compact groups from the semisimple and commutative cases which were already settled. These results depend on key theorems about the interpretability of central and finite extensions of definable groups, in the o-minimal context. These methods and others also yield interpretability results for universal covers of arbitrary definable
منابع مشابه
O-minimal cohomology with definably compact supports
We define here the o-minimal cohomology theory with definably compact supports and prove that this theory is invariant in elementary extensions, in o-minimal expansions and coincides with its topological analogue for o-minimal structures in the real numbers. As an application we show that on definably locally compact definable sets the o-minimal Euler characteristic coincides with the Euler-Poi...
متن کاملO-minimal cohomology: finiteness and invariance results
We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the intersection of a definable decreasing family of definably compact sets, under the additional assumption that the o-minimal structure expands a field.
متن کاملHigher Homotopy of Groups Definable in O-minimal Structures
It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy groups of L. As a consequence, we obtain that all abelian definably compact groups of a given dimension are definably homotopy equivalent, and that their unive...
متن کاملZero-groups and maximal tori
We give a presentation of various results on zero-groups in o-minimal structures together with some new observations. In particular we prove that if G is a definably connected definably compact group in an o-minimal expansion of a real closed field, then for any maximal definably connected abelian subgroup T of G, G is the union of the conjugates of T . This can be seen as a generalization of t...
متن کاملCohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup
By recent work on some conjectures of Pillay, each definably compact group in a saturated o-minimal structure is an extension of a compact Lie group by a torsion free normal divisible subgroup, called its infinitesimal subgroup. We show that the infinitesimal subgroup is cohomologically acyclic. This implies that the functorial correspondence between definably compact groups and Lie groups pres...
متن کامل